An Italian Person of Quality Indeed!

Branching Bisimilarity is an Equivalence Indeed!

This note presents a detailed proof of a result in the theory of concurrency semantics that is already considered folklore, namely that branching bisimilarity is an equivalence relation. The \simple proof," which in the literature is always assumed to exist, is shown to be incorrect. The proof in this note is based on the notion of a semi-branching bisimulation taken from [10]. Branching bisimi...

Difficile indeed.

Diet Quality and Risk of Melanoma in an Italian Population.

BACKGROUND Some results from laboratory and epidemiologic studies suggest that diet may influence the risk of melanoma, but convincing evidence for a role of single nutrients or food items is lacking. Diet quality, which considers the combined effect of multiple food items, may be superior for examining this relation. OBJECTIVE We sought to assess whether diet quality, evaluated with the use ...

Is Timed Branching Bisimilarity an Equivalence Indeed?

We show that timed branching bisimilarity as defined by van der Zwaag [14] and Baeten & Middelburg [2] is not an equivalence relation, in case of a dense time domain. We propose an adaptation based on van der Zwaag’s definition, and prove that the resulting timed branching bisimilarity is an equivalence indeed. Furthermore, we prove that in case of a discrete time domain, van der Zwaag’s defini...

Italian Folk Multiplication Algorithm Is Indeed Better: It Is More Parallelizable

Traditionally, many ethnic groups had their own versions of arithmetic algorithms. Nowadays, most of these algorithms are studied mostly as pedagogical curiosities, as an interesting way to make arithmetic more exciting to the kids: by applying to their patriotic feelings – if they are studying the algorithms traditionally used by their ethic group – or simply to their sense of curiosity. Somew...